// https://www.luogu.com.cn/problem/P5722

#include <stdio.h>


int main() {
    int n;
    scanf("%d", &n);
    printf("%d", n * (n+1) / 2);
    return 0;
}
